type index
日本語で言えば「型添字」
Type Familyの文脈での型パラメータのこと
ref 型族とは型の族のこと
複数形は2種類ある
type indices
type indexes